(0 7 3)(1 20 13)(2 19 16)(4 18 17)(5 14 12)(6 10 8)(9 15 11)
ALLOWS (11/8)-SEQUENCE
1: (13 18 20)

(0 7 3)(1 20 17 4 18)(2 19 16)(5 14 12)(6 10 8)(9 15 11)(13)
2: (1 4 18)

(0 7 3)(1)(2 19 16)(4 20 17)(5 14 12)(6 10 8)(9 15 11)(13)(18)
3: (2 19 16)

(0 7 3)(1)(2)(4 20 17)(5 14 12)(6 10 8)(9 15 11)(13)(16)(18)(19)
4: (0 7 3)

(0)(1)(2)(3)(4 20 17)(5 14 12)(6 10 8)(7)(9 15 11)(13)(16)(18)(19)